package br.pucrio.inf.tamdera.prolog.consistency;


public class AntiErosionConsistencyChecker 
{

	public static String getQueryForCheckingForbidAllowAntiErosionRules ()
	{
		String query = "inconsistent_forbid_allow_rules(RELATION, CONCEPT_A, CONCEPT_B).";
		return query;
	}
	
	public static String getQueryForCheckingOnlyCanAntiErosionRules ()
	{
		String query = "inconsistent_onlycan_rules(RELATION, CONCEPT_A, CONCEPT_B).";
		return query;
	}
	
	public static String getQueryForCheckingCyclicAntiErosionRules ()
	{
		String query = "cyclic_dependencies(RELATION,CONCEPTLIST).";
		return query;
	}
	
	
}
